A Case Study on Automated Generation of Integration Tests

We present a case study on the integration in a real industrial design flow of Automatic Integration Test Generation methods. We achieved our goal by devising a testing plan specification language to easily define sets of test cases. The key idea was to base our language on formal standardbased system specification languages already used by the testing engineers in the company. We then have developed the software to integrate our approach in the design flow. From our testing plan specifications we can then generate all the test cases. We believe this approach can be reused also in different contexts. Our framework meets the initial requirements, i.e. no additional skills to the integration testing engineers are required, and only open source software is used. Moreover, during our preliminary experiments we were able to catch errors which went previously undetected.